Proceedings of Science - PDFSEARCH.IO - Document Search Engine

Proceedings of Science
Results: 2062

#	Item
651	Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2014-11-26 09:16:24 Theoretical computer science CADE ATP System Competition Vampire E theorem prover CASC Automated reasoning Mathematical logic Mathematical proof Theorem Logic Mathematics Automated theorem proving
652	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan Overview of NTCIR-11 Temporal Information Access (Temporalia) Task Hideo Joho Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:54 Web query classification Relevance feedback Document retrieval Relevance Precision and recall IR evaluation Learning to rank Search engine indexing Information science Information retrieval Web search query
653	AISB’05: Social Intelligence and Interaction in Animals, Robots and Agents Proceedings of the Symposium on Normative Multi-Agent Systems Add to Reading List Source URL: www.aisb.org.uk Language: English - Date: 2008-12-15 07:07:05 Society for the Study of Artificial Intelligence and the Simulation of Behaviour Embodied agent Multi-agent system Robot Intelligent agent Cog Strong AI Agent-based model Carnegie Mellon School of Computer Science Artificial intelligence Science Robotics
654	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Exploring approaches to discriminating among near-synonyms Mary Gardiner Centre for Language Technology Macquarie University Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-11-28 00:56:12 Information theory Mathematics Knowledge representation WordNet Natural language processing Mutual information Entropy Lucas–Lehmer primality test Function Linguistics Computational linguistics Science
655	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Statistical Machine Translation of Australian Aboriginal Languages: Morphological Analysis with Languages of Differing Morphological Richn Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-11-28 00:59:42 Machine translation Language Wik-Mungknh language Warlpiri people Agglutination Statistical machine translation Ergative–absolutive language Grammatical number Pama–Nyungan languages Linguistics Computational linguistics Science
656	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-17 16:17:16 Academic publishing Technical communication Academia Library science HighWire Press Open access journal Scientific journal Digital edition Scholarly communication Publishing Knowledge Electronic publishing
657	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 10:15:26 Academia Academic literature Scientific method Peer review Preprint Electronic publishing Research Academic publishing Publishing Knowledge
658	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 10:21:34 Intellectual property law Data management Library science Monopoly Database Directive European Union International Council for Science UNESCO Agreement on Trade-Related Aspects of Intellectual Property Rights Information Law Data
659	Proceedings of the Australasian Language Technology Workshop 2007, pages[removed]Exploring Extensions to Machine Learning-based Gene Normalisation Benjamin Goudey,† Nicola Stokes†‡ and David Martinez† † Comput Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2007-12-02 18:51:12 Molecular biology Biological databases Genetics BioCreative Information science Gene Entrez Biology Science Bioinformatics
660	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 08:53:20 Academic publishing Technical communication Journal of the Physical Society of Japan Optical Review Scientific journal Japanese Journal of Applied Physics Progress of Theoretical Physics Peer review Academic journal Publishing Science and technology in Japan Academia

UPDATE